On Bussho (Fo-hsing)
نویسندگان
چکیده
منابع مشابه
On Weighted U -statistics for Stationary Processes by Tailen Hsing
A weighted U -statistic based on a random sample X1, . . . ,Xn has the form Un = ∑1≤i,j≤n wi−jK(Xi,Xj ), where K is a fixed symmetric measurable function and the wi are symmetric weights. A large class of statistics can be expressed as weighted U -statistics or variations thereof. This paper establishes the asymptotic normality of Un when the sample observations come from a nonlinear time serie...
متن کاملGrounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning systems. Such systems provide a rich first-order input language to a user and can rely on efficient propositional solvers to perform the actual reasoning. Besides a first-order theory and finite domain, the input for grou...
متن کاملFO Model Checking on Nested Pushdown Trees
Nested Pushdown Trees are unfoldings of pushdown graphs with an additional jump-relation. These graphs are closely related to collapsible pushdown graphs. They enjoy decidable μ-calculus model checking while monadic second-order logic is undecidable on this class. We show that nested pushdown trees are tree-automatic structures, whence first-ordermodel checking is decidable. Furthermore, we pro...
متن کاملOn FO quantifier alternation over words⋆
We show that each level of the quantifier alternation hierarchy within FO[<] on words is a variety of languages. We use the notion of condensed rankers, a refinement of the rankers defined by Weis and Immerman, to produce a decidable hierarchy of varieties which is interwoven with the quantifier alternation hierarchy – and conjecturally equal to it. It follows that the latter hierarchy is decid...
متن کاملEction Fo
Vector autoregressions (VARs) are flexible time series models that can capture complex dynamic interrelationships among macroeconomic variables. However, their dense parameterization leads to unstable inference and inaccurate out-ofsample forecasts, particularly for models with many variables. A potential solution to this problem is to use informative priors, in order to shrink the richly param...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JOURNAL OF INDIAN AND BUDDHIST STUDIES (INDOGAKU BUKKYOGAKU KENKYU)
سال: 1956
ISSN: 1884-0051,0019-4344
DOI: 10.4259/ibk.4.550